1. Verification of reactive systems
پدیدآورنده : / Klaus Schneider
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Computer systems- - Verification,Formal methods (computer science),Computer algorithms
رده :
QA
76
.
76
.
V47S34
2003
2. Verification of reactive systems
پدیدآورنده : / Klaus Schneider
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Computer systems -- Verification,Formal methods (computer science),Computer algorithms
رده :
QA
76
.
76
.
V47S34
2004
3. Verification of reactive systems :
پدیدآورنده : Klaus Schneider.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)
رده :
QA76
.
76
.
V47
K538
2004
4. Verification of reactive systems: formal methods and algorithms
پدیدآورنده : Schneider, Klaus
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer systems-- Verification,، Formal methods )Computer science(,، Computer algorithms
رده :
QA
76
.
76
.
V47
.
S34
2003
